The Tempo Language User Guide and Reference Manual Nancy A. Lynch, Stephen J. Garland, Dilsun Kaynar, Laurent Michel, Alex Shvartsman Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Tec

Source URL: www.veromodo.com

• Theoretical computer science
• Cellular automata
• Formal methods
• Computer science
• Model checkers
• Automata-based programming
• Automata theory
• Model checking
• Finite-state machine

Copy of Anaerobic Competitive Cross Reference.xls

Source URL: www.rmoreau.com

• ML
• Computing
• Loctite
• Litre
• 1L
• Programming language theory
• Software engineering
• Initialisms

Perl Language Reference Manual Perl Language Reference Manual Authors: L. Wall et al. Retail Price: $39.95 (£29.95 in UK) ISBN-13: [removed]

Source URL: www.network-theory.co.uk

• Cross-platform software
• Perl
• Computing
• Software engineering
• Computer programming

The C++ Programming Language - Reference Manual

Source URL: www.softwarepreservation.org

A staged tag scheme for Erlang Mikael Pettersson ([removed]) High-Performance Erlang Group (HiPE)

Source URL: www.it.uu.se

• Data types
• Primitive types
• Lisp programming language
• Computer arithmetic
• Pointer
• Tagged pointer
• C
• Reference
• Primitive data type
• Computing
• Software engineering
• Computer programming

A Reference Architecture for Mobile Code Offload in Hostile Environments Soumya Simanta,1 Kiryonh Ha, 2 Grace Lewis,1 Ed Morris, 1 and Mahadev Satyanarayanan2 1

Source URL: www.cs.cmu.edu

• Programming language implementation
• VM
• Server
• System software
• Software
• Virtual machines

Pascal-FC Version 5 Language Reference Manual G.L. Davies University of Bradford, UK

Source URL: jcoppens.com

• Data types
• Pascal
• Procedural programming languages
• C programming language
• Ada
• Enumerated type
• ALGOL 68
• Array data type
• Pointer
• Computing
• Software engineering
• Programming language theory

Ashpool - XML Database Command Reference Rob Rohan

Source URL: ashpool.sourceforge.net

• SQL
• Data Definition Language
• Insert
• Comparison of programming languages
• Where
• Select
• Order by
• Join
• XML
• Computing
• SQL keywords
• Data management

αProlog User’s Guide & Language Reference Version 0.3 DRAFT

Source URL: homepages.inf.ed.ac.uk

• Lambda calculus
• Type theory
• Logic programming
• Formal methods
• Unification
• Higher-order abstract syntax
• Function
• Hindley–Milner
• Free variables and bound variables
• Mathematics
• Software engineering
• Theoretical computer science

CFITSIO User’s Reference Guide An Interface to FITS Format Files for C Programmers Version 3.3

Source URL: heasarc.gsfc.nasa.gov

• Procedural programming languages
• Computer file formats
• FITS
• Cross-platform software
• File system
• C
• Binary file
• ALGOL 68
• Data file
• Computing
• Software engineering
• Programming language theory